# typed: true

fun!
